Verification tasks. Verify the following properties:
1. empty(n) creates an empty set with capacity n